He first bought it for 6k then fully restored it (sold it for 24k about a month ago) but at the time of the accident it was insured as 6k. They were willing to pay the full 6k if it was totaled though. The actual damage was about 4300 total so he had some money to work with which was nice.